Logical and Operational Methods in the Analysis of Programs and Systems

نویسندگان

  • Flemming Nielson
  • Patrick Cousot
  • Mads Dam
  • Pierpaolo Degano
  • Pierre Jouvelot
  • Alan Mycroft
  • Bent Thomsen
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Operational Planning Approach Distribution Automation Considering the Contribution of Demand Response Programs in Service Restoration Process

This paper proposes an advanced distribution automation planning problem in which emergency-based demand response plans are incorporated during service restoration process. The fitness function of this planning problem consists of various costs associated with fault occurrence in electric distribution systems consisting of the total yearly cost of customers’ interruptions, the total annualized ...

متن کامل

تاکسنومی استراتژیهای عملیاتی وسیستمهای عملیاتی در خدمات درمانی و انتخاب استراتژی مناسب برای هر سیستم مورد مطالعه: بخشهای بیمارستان های درمانی شهر مشهد

Abstract: Background: Recently, hospitals in order to improve strategic and operational work have been under a lot of pressure Nonetheless, lack of taxonomy researches have been noticed in Health care. The purpose is to present taxonomy of health care operational systems and strategies of Mashhad hospitals sections in correct order in the base of their aims and operational decisions and after...

متن کامل

مسیر بودجه‌ریزی عملیاتی نوین

By studying the evolution history of budgeting systems, you may discern three stages: In the first stage, controlling role of budget is regarded its major function. In the second stage, budget is considered as a means for management improvement. In the third stage, the role of budget is considered in economic planning, implementation of programs and government performance management. After Wor...

متن کامل

Requirements Engineering Model in Designing Complex Systems

This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...

متن کامل

A Stochastic Operational Planning Model for Smart Power Systems

Smart Grids are result of utilizing novel technologies such as distributed energy resources, and communication technologies in power system to compensate some of its defects. Various power resources provide some benefits for operation domain however, power system operator should use a powerful methodology to manage them. Renewable resources and load add uncertainty to the problem. So, independe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996